Issue1084.agda:5,1-13,10
Termination checking failed for the following functions:
  f, g
Problematic calls:
  g x
    (at Issue1084.agda:8,7-8)
  f x
    (at Issue1084.agda:13,7-8)
